Cosmetics in stdlib

This commit is contained in:
Dmitry Boulytchev 2020-02-20 12:43:52 +03:00
parent 7fd85f27ef
commit 5933f4c3b1
15 changed files with 105 additions and 79 deletions

View file

@ -1,3 +1,8 @@
-- Lists.
-- (C) Dmitry Boulytchev, JetBrains Research, St. Petersburg State University, 2020
--
-- This unit provides a set of list-manipulation primitives.
public fun singleton (x) {
x : {}
}