Skip to content

YYK’s wiki

sharing tool

Month: July 2017

Idris 1.0 поспел

А тем временем, незаметно, но весьма оригинально, прямёхонько на первое апреля был выкачена на общее благо первая версия языка

https://www.idris-lang.org/idris-1-0-released/

Author adminPosted on July 19, 2017July 19, 2017Leave a comment on Idris 1.0 поспел

Recent Posts

  • Grammatical catigories in spain.
  • Generative AI
  • Types of trees
  • Midjourney cheat sheet
  • Человек, который кормил обезьян

Recent Comments

  • S on Crypto currency rates tracker for coingecko.com
  • Sliko on Crypto currency rates tracker for coingecko.com

Archives

  • March 2023
  • January 2023
  • December 2022
  • November 2022
  • May 2021
  • January 2020
  • November 2019
  • July 2019
  • January 2019
  • December 2018
  • September 2018
  • August 2018
  • March 2018
  • July 2017
  • June 2017
  • May 2017
  • April 2017

Categories

  • Uncategorized

Meta

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org
YYK’s wiki Proudly powered by WordPress