Pinned Loading

1. lexa.qex.at lexa.qex.at Public

   Source code for my website

   HTML 5

2. qexat-archive/violette qexat-archive/violette Public archive

   Violette is a simple functional programming language.

   OCaml 26

3. a simple type system with support fo... a simple type system with support for (co)cartesian types

   1

   # Notes

   2

   3

   ## (Co)Cartesian Types

   4

   5

   ### Definitions

4. Experimental, procreative type syste... Experimental, procreative type system based on a foundational binary type equipped with induction and parametric polymorphism.

   1

   (** Cygnus is an experiment for the proof assistant Caroline.

   2

   3

       It defines a simple type system based on a foundational type -

   4

       coloquially called "Hole" - which is inhabited by two

   5

       constructors, `⊥` (bottom) and `()` (unit).

5. static verification of equality in p... static verification of equality in python! try it on a typechecker like pyright

   1

   use it in pyright: [playground link](https://pyright-play.net/?pythonVersion=3.12&strict=true&locale=en-us&code=GYJw9gtgBA%2BjwFcAuCQFM5QJYQA5hCSgEMA7UsJYpLMUgZwChGd9CSAjAYxbwKIAm1YlwA2xevTRNW-KEgCeuLKQDmzRbjRQActSgBeKAC004KAB8oAZQRcuAbT1IAuswACQqmIlT6AOi8RcUkACnpRSnoDABUQBDQAGihQMAAvNFJY%2BLQASkZ3TRVVf2AVYlFGH0kTMzAALkYoZqhcXw8g6r9A4S7wyKRouITk1Iys4byCorVS8squmztHHXrdahdGlqhSNedmRYBRAEcHGOSAVRdQ4m5-AEEAIQBhXK2W91uuf1v6JBAREgIGgkAALMACJotARoYCwGCkNAAdzgoTE9GSAA81jFclAALQAPigJzOyRimyh22abUkzG27j%2B1CwXGBYIhVKgMLh6GAolCuyguIJxNJ5yFlOpLXQKBApCgACVYfzSPkPDMSmVSBUqiF6IrlWdrmLyS43py4BBqFxQTBiCBVPRMEZQgAiTGuxJqhka-xgABuZhAWBhnO58MRKJgaNEGKg2KFeKJJNO4op7ylMtQ8voCC0IFCuX8cEjqPRWPy2zDsPhKiwSFRUlEwCxOKTxJ0dDQGepTeAxYTvoAYvNDPHmIxNNoYkiwGPbPYHAvHKZwC43FOhaD0NojMuzrO3JPZzjZ-PlqFl6FV2BC7l8mCdzjt2hd0t7JeL1eb3f78xVGAEIwGgxwwEgs5gSeKYHmA5KHmOSp8qE4FgPkHDEAIMC8qIkENNBM6wVuO4uAhyrIbOaEYVhypgS%2B3b4bO5J0SRRiIfyj6vvkQA)

6. mmm... perform_io... mmm... perform_io...

   1

   module Util = struct

   2

     let ( let*? ) = Option.bind

   3

     let ( let*! ) = Result.bind

   4

     let ( let@ ) = ( @@ )

   5

     let ( *> ) f g x = g (f x)