Double-oxygeN

<Project Sdk="Godot.NET.Sdk/4.2.1">
  <PropertyGroup>
    <TargetFramework>net6.0</TargetFramework>
    <GenerateDocumentationFile>true</GenerateDocumentationFile>
  </PropertyGroup>
  <ItemGroup>
    <Compile Include="TaskUtils.fs" />
    <Compile Include="Player.fs" />
    <Compile Include="Mob.fs" />
    <Compile Include="HUD.fs" />

Double-oxygeN

CC := g++

TARGET ?= $(shell basename `readlink -f .`)
CPPFLAGS ?= -Wall -Wextra -Werror \
	-Wcast-align \
	-Wcast-qual \
	-Wdisabled-optimization \
	-Wdouble-promotion \
	-Wfloat-equal \
	-Wlogical-op \

Double-oxygeN

const I  = x => x
const K  = x => y => x
const A  = f => x => f (x)
const T  = x => f => f (x)
const W  = f => x => f (x) (x)
const C  = f => y => x => f (x) (y)
const B  = f => g => x => f (g (x))
const S  = f => g => x => f (x) (g (x))
const S_ = f => g => x => f (g (x)) (x)
const S2 = f => g => h => x => f (g (x)) (h (x))

Double-oxygeN

/*
Language: XFRP
Description: XFRP is a general-purpose functional reactive programming (FRP) language.
*/

export default function (hljs) {
  const primitiveTypes = [
    'Bool',
    'Int',
    'Float'

Double-oxygeN

module Ex10-1 where

open import Data.Nat
open import Data.Bool hiding (_≟_)
open import Data.Maybe
open import Data.String hiding (_≟_)
open import Data.Product using (_,_)
open import Relation.Nullary using (yes; no)
open import LambdaExpr (String)

Double-oxygeN

OS_NAME := $(shell uname -s)
SDL2_FLAGS := -lSDL2
GL_FLAGS :=
ifeq ($(OS_NAME), Darwin)
	GL_FLAGS += -lglew -lcglm -framework OpenGL -framework Cocoa -framework IOKit -framework CoreVideo
endif
ifeq ($(OS_NAME), Linux)
	GL_FLAGS += -lGLEW -lGL -lcglm
endif