playground/README.org

#+TITLE: README

 - haskell
 - sml

 - agda
 - coq
 - pvs
 - beluga

 - apl
 - c
 - cpp
 - rust

 - python
 - lua
 - bash

 - nusmv
 - risc-v

 - verilog
 - vhdl

 - misc
add few old coq files 2023-05-22 09:11:06 +00:00			`#+TITLE: README`

			`- haskell`
			`- sml`
[beluga] try official tutorial 2024-04-06 18:13:16 +00:00
add few old coq files 2023-05-22 09:11:06 +00:00			`- agda`
			`- coq`
			`- pvs`
[beluga] try official tutorial 2024-04-06 18:13:16 +00:00			`- beluga`
add few old coq files 2023-05-22 09:11:06 +00:00
			`- apl`
			`- c`
			`- cpp`
			`- rust`

			`- python`
			`- lua`
			`- bash`

			`- nusmv`
			`- risc-v`

			`- verilog`
			`- vhdl`

			`- misc`