jul1u5

{-# OPTIONS --cubical #-}

open import Cubical.Foundations.Prelude
open import Cubical.Foundations.Isomorphism

open import Cubical.Data.List

private
  variable
    ℓ : Level

jul1u5

Report for GSoC 2021 (Gradually Typed Hasktorch)

This is the final report for the GSoC 2021 project - Gradually Typed Hasktorch. Gradually Typed Hasktorch is a new tensor API for Hasktorch. It has been initiated by my mentor, Torsten Scholak, and as part of GSoC I helped with streamlining this new API.

Student: Julius Marozas Mentor: Torsten Scholak

Index

jul1u5

class MainActivity : AppCompatActivity() {
    override fun onCreate(savedInstanceState: Bundle?) {
        super.onCreate(savedInstanceState)
        setContent {
            DialogTestTheme {
                App()
            }
        }
    }
}

jul1u5

home-assistant:
  container_name: home-assistant
  image: homeassistant/home-assistant
  restart: unless-stopped
  privileged: true
  net: host
  volumes:
    - /volume1/docker/home-assistant:/config
    - /etc/localtime:/etc/localtime:ro