Blogs about: Ixi
Featured Blog
Recursive Types in IΞ
In the last IΞ post, I introduced the calculus and sketched the construction of some standard mathematical objects. In this post, I will dive a little deeper and construct of all the positive recur… more →
Luke Palmer
-- ixi software --
wrote 1 month ago: – ixi software –. Some very interesting experimental software for Mac and Windows, all f … more →
!¡!¡!¡!¡ ⁄⁄S⁄⁄⁄O⁄⁄⁄F⁄⁄⁄T⁄W⁄A⁄R⁄E⁄ ⁄A⁄R⁄T⁄ ⁄!¡!¡!¡
wrote 5 months ago: I think I’ve found a new religion. Stuff that’s neat: Form Art: like an advanced version … more →
Share your noizz
wrote 5 months ago: Well, iam sitting in Kezmarok, at the second day of ‘our festival‘, and iam very excited … more →
Apple has finally admitted that a British man who left school at 15 is the inventor behind the iPod.
wrote 5 months ago: Apple recently disclosed that the invention of the iPod is not actually theirs. British inventor Kan … more →
Recursive Types in IΞ
wrote 7 months ago: In the last IΞ post, I introduced the calculus and sketched the construction of some standard mat … more →
100% Perfect Girl
— 1 comment
wrote 7 months ago: Title: 100% Perfect Girl Scanslator: Ixi, Lady Kaos Manhwaga: Wann Volumes: 10 Volumes [Ongoing] Gen … more →
Can't Lose You
wrote 8 months ago: Title : Can’t Lose You (manhwa) Author : Wann Volumes : 6 (complete) Genre : Shoujo, Drama, Ro … more →
Land of Silver Rain
wrote 8 months ago: Title:Land of Silver Rain Manhwaka: Mira Lee Scanlator: HMR, DMM, iXi Length: 7 volumes Summary (fro … more →
Dana (actual) progress
wrote 8 months ago: I have some very exciting news! I wrote some actual code in the Dana repository. It is the IΞ Cer … more →
Some Constructions in IΞ
— 6 comments
wrote 9 months ago: Over the past couple months, I have been attempting to find a language to use as a core calculus for … more →
Might as well face it, I'm addicted to logic
— 2 comments
wrote 9 months ago: I’m trying really hard not to become a logician. Like my obsession with FRP, it would be very … more →
System IG Semantics
— 1 comment
wrote 9 months ago: I don’t have much time, so here’s just a quick jot. I don’t think System IG can pr … more →
Dependent types are ridiculously easy
— 7 comments
wrote 10 months ago: After an inquiry about a combinatory calculus for dependent types, somebody in #haskell — unfo … more →
