+++ title = "Pernicious numbers" description = "" date = 2019-09-10T18:35:58Z aliases = [] [extra] id = 17363 task = """ A pernicious number is a positive integer ...

1.1.1 What? This document is a series of notes about programming languages, originally written for students of the undergraduate programming languages course at UT. This book uses Haskell, a pure ...

UPDATE: As of 1/9/2024, the Lax virtual machine now supports JIT compilation. Massive shoutout to the incredible SLJIT library for making this possible. JIT support is currently experimental and ...

Dafny is a programming language with built-in specification constructs. The Dafny static program verifier can be used to verify the functional correctness of programs. The Dafny programming language ...