Show HN: Peridot – A functional language based on two-level type theory https://ift.tt/uzcsTpw

Show HN: Peridot – A functional language based on two-level type theory https://ift.tt/3G0nlK4 May 10, 2022 at 04:26PM

Comments

Post a Comment

Popular posts from this blog

Show HN: Console Interface and Library to remove silent parts of a media file https://ift.tt/2WZsj63

Show HN: Console Interface and Library to remove silent parts of a media file https://ift.tt/2WZsj63 Show HN: Console Interface and Library to remove silent parts of a media file https://ift.tt/2WZsj63 Show HN: Console Interface and Library to remove silent parts of a media file https://ift.tt/2WZsj63 Show HN: Console Interface and Library to remove silent parts of a media file https://ift.tt/3f59K79 July 27, 2020 at 02:26AM via Blogger https://ift.tt/3310RbR July 27, 2020 at 06:29AM via Blogger https://ift.tt/313XpuH July 27, 2020 at 08:17AM via Blogger https://ift.tt/3g20f9K July 27, 2020 at 09:47AM
Read more