+++ 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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results