alabhyajindal

alabhya.me

Posts

• The Definition of Standard ML [pdf]
  by alabhyajindalon 5/19/25, 6:18 PMwith 0 comments
• The Future of Mathematics? [video] (2020)
  by alabhyajindalon 5/15/25, 1:38 PMwith 0 comments
• A proof checker meant for education
  by alabhyajindalon 3/21/25, 11:47 AMwith 51 comments
• Text-Mode Games as First Haskell Projects
  by alabhyajindalon 11/22/24, 10:14 AMwith 0 comments